Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
301	NRL Release Number[removed]Visual Security Protocol Modeling J. McDermott Center for High Assurance Computer Systems Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2013-04-26 12:50:29 Data modeling Computing Diagrams Automata theory Digital electronics Unified Modeling Language Communications protocol Finite-state machine Activity diagram Models of computation UML diagrams Software engineering
302	Inkboard finite state machine specification April 1, 2005 State Offline Logged In Add to Reading List Source URL: inkboard.sourceforge.net Language: English - Date: 2005-04-21 15:47:57 Software Computing System software Login Server Internet Relay Chat
303	Interpretation Number: [removed] Add to Reading List Source URL: grouper.ieee.org Language: English - Date: 2007-03-30 12:27:42 Theoretical computer science State diagram Communication design Computer science Power over Ethernet Models of computation PSE Finite-state machine
304	“Maximal-Munch” Tokenization in Linear Time THOMAS REPS University of Wisconsin The lexical-analysis (or scanning) phase of a compiler attempts to partition an input string Add to Reading List Source URL: www.csc.lsu.edu Language: English - Date: 2002-06-08 18:46:58 Computing Automata theory Parsing Models of computation Lexical analysis Maximal munch Tokenization Finite-state machine Algorithm Programming language implementation Compiler construction Software engineering
305	Finite-State Transducer Cascade to Extract Proper Names in Texts Nathalie Friburger and Denis Maurel Laboratoire d’Informatique de Tours E3i, 64 avenue Jean Portalis, 37000 Tours {friburger,maurel}@univ-tours.fr Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-04-03 11:21:43 Models of computation Language Computational linguistics Natural language processing Speech recognition Finite state transducer Finite-state machine Family name Proper noun Linguistics Languages of Europe Automata theory
306	Using Finite State Technology in Natural Language Processing of Basque Iñaki Alegria, Maxux Aranzabe, Nerea Ezeiza, Aitzol Ezeiza, and Ruben Urizar Ixa taldea, University of the Basque Country, Spain [removed] Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-01-27 09:29:09 Automata theory Models of computation Inflection Transducer Agglutination Lexicon Morpheme Finite-state machine Morphology Linguistics Linguistic morphology Grammar
307	Enforceable Security Policies FRED B. SCHNEIDER Cornell University A precise characterization is given for the class of security policies enforceable with mechanisms that work by monitoring system execution, and automata Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2001-11-26 17:13:32 Formal methods Security Büchi automaton Computer security State Security policy Kernel Finite-state machine Models of computation Automata theory Theoretical computer science
308	Machine Translation with Inferred Stochastic Finite-State Transducers Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-31 07:03:40 Finite state transducer Finite-state machine Speech recognition Computer science Computing Applied mathematics Automata theory Models of computation Formal languages
309	Weighted Finite-State Transducer Algorithms An Overview Mehryar Mohri AT&T Labs – Research Shannon Laboratory 180 Park Avenue, Florham Park, NJ 07932, USA Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-24 09:41:32 Finite state transducer Applied mathematics Mathematics Semiring Finite-state machine Computing Büchi automaton Automata theory Models of computation Formal languages
310	Programming Languages T.A. Standish Editor Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-03-21 10:29:32 Dynamic programming Models of computation Automata theory Operations research Optimal control Finite-state machine Levenshtein distance Viterbi algorithm Mathematics Theoretical computer science Applied mathematics

UPDATE